H. Kogure, T. Kurahashi, "Arithmetical completeness theorems for monotonic modal logics"